Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
91	Global optimization and constraint satisfaction Arnold Neumaier University of Vienna Vienna, Austria Add to Reading List Source URL: solon.cma.univie.ac.at Language: English - Date: 2006-12-06 02:13:41 Global optimization Constraint satisfaction problem Constraint satisfaction Optimization problem Applied mathematics Theoretical computer science Mathematics Mathematical optimization Constraint programming Operations research
92	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University May 23, 2008 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-02-12 00:13:50 Complexity classes Boolean algebra Constraint programming Mathematical optimization Boolean satisfiability problem Constraint satisfaction problem NP-complete Belief propagation NP Theoretical computer science Computational complexity theory Applied mathematics
93	Affiche-annonce MAIRY Jean-Baptiste Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2015-03-31 07:41:40 Constraint satisfaction problem Constraint satisfaction Constraint Constraint programming Computing Local consistency
94	Gecode an open constraint solving library Guido Tack Programming Systems Lab, Saarland University, Germany OSSICP´08 workshop at CP-AI-OR´08, May 22, Paris Add to Reading List Source URL: www.gecode.org Language: English - Date: 2009-11-26 06:35:49 Royal Institute of Technology GUIDO music notation Constraint satisfaction problem Local consistency Tack Software Constraint programming Gecode Computing
95	Neighborhood Portfolio Approach for Local Search applied to Timetabling Problems∗ Luca Di Gaspero and Andrea Schaerf , Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica U Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:16 Mathematics Constraint programming Mathematical optimization Local search Algorithm Tabu search Constraint satisfaction problem Search algorithm Simulated annealing Operations research Applied mathematics Numerical analysis
96	Automatic Data Mapping of Signal Processing Applications Corinne Ancourt1 Denis Barthou2 Christophe Guettier3 Francois Irigoin1 Bertrand Jeannet3 Jean Jourdan3 Juliette Mattioli3 Abstract Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:40:28 Software engineering Computer programming Parallel computing Loop optimization Automatic parallelization Constraint logic programming Memory address Constraint satisfaction problem Compiler optimizations Constraint programming Computing
97	A Survey of Automated Timetabling A. Schaerf Dipartimento di Informatica e Sistemistica Universit` a di Roma “La Sapienza” Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:16 Mathematical optimization Operations research Search algorithms Complexity classes Combinatorial optimization Genetic algorithm Optimization problem Constraint satisfaction NP-complete Theoretical computer science Applied mathematics Computational complexity theory
98	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .2cm Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:47:40 Computing Constraint satisfaction problem Mathematical optimization Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
99	Chapter 1 CHOOSING SEARCH HEURISTICS BY NONSTATIONARY REINFORCEMENT LEARNING Alexander Nareyek Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA, USA Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2005-12-27 14:08:32 Computer programming Heuristics Mathematical optimization Artificial intelligence Heuristic function Constraint satisfaction problem Heuristic Constraint optimization Local search Constraint programming Operations research Software engineering
100	Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toron Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2015-01-28 09:11:33 Computational complexity theory Mathematical optimization Constraint programming Quadratic programming Linear programming Semidefinite programming Local consistency Knapsack problem Constraint satisfaction Operations research Theoretical computer science Applied mathematics

UPDATE